package jtg.generator;

import soot.Unit;

import java.util.ArrayList;
import java.util.List;
import java.util.Set;

public class MySimpleGenerator extends BaseGenerator{
    public MySimpleGenerator(String classPath, String className, String methodName) {
        super(classPath, className, methodName);
    }

    @Override
    protected void calCompletePath() {
        List<Unit> path = new ArrayList<>();
        for (Unit h : expandUg.getHeads())
            for (Unit t : expandUg.getTails()) {
                // 获取头到尾之间的扩展基本块路径。
                // 如果两个路径具有相同的头和尾，并且通过 ug.getExtendedBasicBlockPathBetween(h, t) 方法获取这两个路径，
                // 该方法能确保唯一性。只能处理顺序和分支结构，循环不行
                path = expandUg.getExtendedBasicBlockPathBetween(h, t);
                pathSet.add(path);
            }
    }

}
